Advanced Validation Techniques Meet Complexity Challenge in Embedded Software Development
نویسنده
چکیده
While people seem willing to buy software for PCs that crashes regularly, embedded software in products like cars, trains, airplanes, cellular phones, switching systems, elevators, or medical devices must meet significantly higher product quality standards. To ensure high availability, the design process for embedded software must address the challenge of stringent time-to market and quality requirements in the face of an exponential growth both in function complexity and distribution. Advanced validation techniques are fast becoming essential in mastering this challenge.
منابع مشابه
Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems
Advanced mechatronic systems of the future are expected to behave more intelligently than today by building communities of autonomous agents which exploit local and global networking to enhance their behavior and to realize otherwise not possible functionality. While engineering of mechatronic systems and software engineering for embedded systems, multi-agent systems, and distributed systems ar...
متن کاملIntegration of Formal Analysis into a Model-Based Software Development Process
The next generation of military aerospace systems will include advanced control systems whose size and complexity will challenge current verification and validation approaches. The recent adoption by the aerospace industry of model-based development tools such as Simulink® and SCADE SuiteTM is removing barriers to the use of formal methods for the verification of critical avionics software. For...
متن کاملAn Error-Localization, Validation and Optimization Tool for Embedded Code Augmentation: an Architecture Oriented Approach
Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machi...
متن کاملA Flight Software Development and Simulation Framework for Advanced Space Systems
Distributed terrestrial computer systems employ middleware software to provide communications abstractions and reduce software interface complexity. Embedded applications are adopting the same approaches, but must make provisions to ensure that hard real-time temporal performance can be maintained. This thesis presents the development and validation of a middleware system tailored to spacecraft...
متن کاملAutomated Validation of Distributed Software Using the IF Environment
This paper summarizes our experience with IF, an open validation environment for distributed software systems. Indeed, face to the increasing complexity of such systems, none of the existing tools can cover by itself the whole validation process. The IF environment was built upon an expressive intermediate language and allows to connect several validation tools, providing most of the advanced t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001